Logic Control

Results: 840



#Item
721Computing / Software / Model checkers / Model checking / Logic in computer science / NuSMV / Software testing / Formal verification / Role-based access control / Formal methods / Access control / Security

Property Verification for Generic Access Control Models1 Vincent C. Hu1, D. Richard Kuhn1, Tao Xie2 1 National Institute of Standards and Technology, 2North Carolina State University [removed], [removed], xie@csc.

Add to Reading List

Source URL: csrc.nist.gov

Language: English - Date: 2009-05-06 01:00:00
722Fuzzy control system / Fuzzy set / Fuzzy subalgebra / Type-2 fuzzy sets and systems / Neuro-fuzzy / Fuzzy logic / Logic / Mathematical logic

Referee Results ‫ﺗﻮﺿﻴﺤﺎﺕ‬ ‫ﻧﺘﺎﻳﺞ‬ ‫ﻋﻨﻮﺍﻥ ﻣﻘﺎﻻﺕ‬

Add to Reading List

Source URL: icfs1391.umz.ac.ir

Language: English - Date: 2012-10-06 07:32:35
723Knowledge-based systems / Fuzzy control system / Science / Logic / Artificial intelligence / Applications of artificial intelligence / Tainan

Call For Paper 2010 Workshop of Artificial Intelligence, Knowledge Discovery, and Fuzzy Systems (Conjunction with ICS[removed]December 16-18, 2010 National Cheng Kung University, Tainan City, Taiwan (R.O.C.)

Add to Reading List

Source URL: ics-2010.csie.ncku.edu.tw

Language: English - Date: 2010-05-09 10:45:31
724Industrial automation / SCADA / Control engineering / Remote Terminal Unit / Programmable logic controller / Control system / Pumping station / Irrigation / Technology / Telemetry / Automation

INITIATING SCADA PROJECTS IN IRRIGATION DISTRICTS Askar Karimov1 Eric Leigh2 Guy Fipps3 ABSTRACT Delivering water efficiently through distribution networks is a priority for irrigation

Add to Reading List

Source URL: idea.tamu.edu

Language: English - Date: 2011-06-28 16:26:32
725Fuzzy subalgebra / Fuzzy control system / Fuzzy set / Fuzzy clustering / Fuzzy logic / Logic / Mathematical logic

<4D6963726F736F667420576F7264202D20D2E3C7E4C8E4CFED656E676C6973682081E4CC20D4E4C8E5>

Add to Reading List

Source URL: icfs1391.umz.ac.ir

Language: English - Date: 2012-10-24 11:08:48
726Linguistics / Source code / Grammar / Common logic / Syntax / Comma / AS/400 Control Language / Ellipsis / Punctuation / Computing / Software engineering

Microsoft Word[removed]defect-report.doc

Add to Reading List

Source URL: philebus.tamu.edu

Language: English - Date: 2008-06-22 20:33:05
727Braille / Computer accessibility / Refreshable Braille display / Materials science / Solenoid valve / Technology / Polydimethylsiloxane / Lab-on-a-chip / Logic gate / Valves / Microfluidics / Nanotechnology

Lab on a Chip PAPER Cite this: Lab Chip, 2014, 14, 189 Control of soft machines using actuators operated

Add to Reading List

Source URL: gmwgroup.harvard.edu

Language: English - Date: 2014-01-27 11:31:26
728Medicine / Neuroscience / Brain implant / Brain-computer interfacing / Mind control / Motherboard / Personal computer hardware / Resident Evil 5 / Implants / Human–computer interaction / Neuroprosthetics

MALICIOUS LOGIC DESCRIPTION: This is a moderately difficult adventure for 2+ characters. The players should be equipped in some way in advance to deal with spirits. The GM is also encouraged to create detailed maps and o

Add to Reading List

Source URL: members.tripod.com

Language: English - Date: 2001-11-05 23:51:00
729Industrial automation / EtherCAT / Beckhoff / Motion control / PROFINET / SERCOS III / EtherNet/IP / SERCOS interface / IEC 61131-3 / Technology / Industrial Ethernet / Automation

Sysmac Automation Platform One control, one connection, one software One Machine Control Motion, Logic, Safety and Vision in one

Add to Reading List

Source URL: www.zomel.open.hr

Language: English - Date: 2013-05-21 03:37:01
730Aviation / Transport / Instrument landing system / Primary flight display / Flight management system / VNAV / Autopilot / Final approach / Instrument approach / Avionics / Aircraft instruments / Technology

Issue 412 Autoflight control modes generally involve interrelated functions of the Flight Management System (FMS), the flight director, the autopilot and autothrottles. The mode logic controlling the combined

Add to Reading List

Source URL: asrs.arc.nasa.gov

Language: English - Date: 2014-05-07 16:51:23
UPDATE